A Uniform Type Structure for Secure Information FlowHONDA, Kohei; YOSHIDA, Nobuko.ACM transactions on programming languages and systems. 2007, Vol 29, Num 6, issn 0164-0925, 31.1-31.100Article

An exact correspondence between a typed pi-calculus and polarised proof-netsHONDA, Kohei; LAURENT, Olivier.Theoretical computer science. 2010, Vol 411, Num 22-24, pp 2223-2238, issn 0304-3975, 16 p.Article

Multiparty Asynchronous Session TypesHONDA, Kohei; YOSHIDA, Nobuko; CARBONE, Marco et al.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 273-284, issn 1523-2867, 12 p.Conference Paper

Descriptive and Relative Completeness of Logics for Higher-Order FunctionsHONDA, Kohei; BERGER, Martin; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2006, pp 360-371, issn 0302-9743, isbn 3-540-35904-4, 12 p.Conference Paper

From process logic to program logicHONDA, Kohei.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 163-174, issn 1523-2867, 12 p.Conference Paper

Peroxisome proliferator-activated receptor γ is expressed in airways and inhibits features of airway remodeling in a mouse asthma modelHONDA, Kohei; MARQUILLIES, Philippe; CAPROR, Monique et al.Journal of allergy and clinical immunology. 2004, Vol 113, Num 5, pp 882-888, issn 0091-6749, 7 p.Article

Structured Communication-Centered Programming for Web ServicesCARBONE, Marco; HONDA, Kohei; YOSHIDA, Nobuko et al.ACM transactions on programming languages and systems. 2012, Vol 34, Num 2, issn 0164-0925, 8.1-8.78Article

Giant cell tumor at the lateral skull baseYAN WANG; HONDA, Kohei; SUZUKI, Shinsuke et al.American journal of otolaryngology. 2006, Vol 27, Num 1, pp 64-67, issn 0196-0709, 4 p.Article

Sequentiality and the π-calculusBERGER, Martin; HONDA, Kohei; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2001, pp 29-45, issn 0302-9743, isbn 3-540-41960-8Conference Paper

Strong normalisation in the π-calculusYOSHIDA, Nobuko; BERGER, Martin; HONDA, Kohei et al.Information and computation (Print). 2004, Vol 191, Num 2, pp 145-202, issn 0890-5401, 58 p.Article

Linearity and bisimulationYOSHIDA, Nobuko; HONDA, Kohei; BERGER, Martin et al.Lecture notes in computer science. 2002, pp 417-433, issn 0302-9743, isbn 3-540-43366-XConference Paper

Genericity and the π-calculusBERGER, Martin; HONDA, Kohei; YOSHIDA, Nobuko et al.Acta informatica. 2005, Vol 42, Num 2-3, pp 83-141, issn 0001-5903, 59 p.Article

Peroxisome Proliferator-Activated Receptor-γ Is Expressed in Eosinophils in Nasal PolypsASAKA, Chikara; HONDA, Kohei; ITO, Eiko et al.International archives of allergy and immunology. 2011, Vol 155, pp 57-63, issn 1018-2438, 7 p., SUP1Conference Paper

A uniform type structure for secure information flowHONDA, Kohei; YOSHIDA, Nobuko.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 81-92, issn 1523-2867Conference Paper

Effect of Roxithromycin on eotaxin-primed reactive oxygen species from eosinophilsCUI, Chang-Hao; HONDA, Kohei; KAYABA, Hiroyuki et al.International archives of allergy and immunology. 2001, Vol 125, pp 38-41, issn 1018-2438, SUP1Conference Paper

A logical analysis of aliasing in imperative higher-order functionsBERGER, Martin; HONDA, Kohei; YOSHIDA, Nobuko et al.ACM SIGPLAN notices. 2005, Vol 40, Num 9, pp 280-293, issn 1523-2867, 14 p.Conference Paper

Expression of VLA-4 on eosinophils decreases in patients with eosinophiliaKAYABA, Hiroyuki; YAMADA, Yoshiyuki; CUI, Chang-Hao et al.International archives of allergy and immunology. 2001, Vol 125, pp 33-37, issn 1018-2438, SUP1Conference Paper